#include<bits/stdc++.h>
int main ()
{cout << '12' << endl;
 return 0;   

}
